Formal verification - PDFSEARCH.IO - Document Search Engine

Formal verification
Results: 829

#	Item
491	Runtime Verification Using a Temporal Description Logic Franz Baader,1 Andreas Bauer,2 and Marcel Lippmann1 1 2 Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2009-07-15 21:37:58 Mathematical logic Formal languages Metalogic Linear temporal logic Temporal logic Interpretation Dynamical system Satisfiability Function Logic Model theory Mathematics
492	Abstract Interpretation Founded in 1998, AbsInt is a privately-held company located in Saarbrücken, Germany. AbsInt provides advanced development tools and tools for validation, verification, and certification of safety Add to Reading List Source URL: www.absint.com Language: English - Date: 2014-05-14 04:39:47 Technology Avionics Safety Software requirements Pharmaceutical industry Astrée DO-178B Worst-case execution time Formal verification Embedded systems Software development Computing
493	Content Algorithmic Verification Comp4151 Lecture 1 Ansgar Fehnker Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2006-06-05 00:33:08 Logic in computer science Mathematics Model checkers Model checking Formal verification Electronic design automation Verification and validation Correctness Logic simulation Formal methods Theoretical computer science Applied mathematics
494	The Dafny Integrated Development Environment K. Rustan M. Leino Valentin Wüstholz Microsoft Research, Redmond, WA, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-02-26 16:42:45 Formal methods Logic in computer science KeY Formal verification Checksum SPARK Theoretical computer science Computing Applied mathematics
495	DOCTORAL CANDIDATE: Daniela Lepri DEGREE: Add to Reading List Source URL: www.mn.uio.no Language: English Model checking Academia Knowledge Logic Formal methods Temporal logic Mathematical logic Formal verification Rajeev Alur Formal sciences Model checkers Science
496	A Formal Framework for Secure Routing Protocols Chen Chen1 Limin Jia2 Hao Xu1 Cheng Luo1 Wenchao Zhou3 Boon Thau Loo1 1 3 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Routing protocols Internet protocols Internet standards Formal methods Logic in computer science Communications protocol Border Gateway Protocol Formal verification Protocol composition logic Computing Internet Data
497	Nitpicking C++ Concurrency Jasmin Christian Blanchette Tjark Weber Mark Batty Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-04-16 14:49:31 Logic in computer science Procedural programming languages Programming language semantics Predicate logic Formal methods Formal verification ALGOL 68 Denotational semantics First-order logic Theoretical computer science Computing Software engineering
498	Specification and Proof of Programs with Frama-C SAC 2013 Tutorial Nikolai Kosmatov, Virgile Prevosto, Julien Signoles CEA LIST Add to Reading List Source URL: kosmatov.perso.sfr.fr Language: English - Date: 2013-03-25 09:07:11 Formal methods Frama-C ANSI/ISO C Specification Language Program logic Theoretical computer science Formal verification Hoare logic Mathematical proof Automated theorem proving Software engineering Software Computing
499	seL4: Formal Verification of an OS Kernel Gerwin Klein1,2 , Kevin Elphinstone1,2 , Gernot Heiser1,2,3 June Andronick1,2 , David Cock1 , Philip Derrin1∗, Dhammika Elkaduwe1,2‡, Kai Engelhardt1,2 Rafal Kolanski1,2 , Mi Add to Reading List Source URL: www.ok-labs.com Language: English - Date: 2010-10-07 14:23:07 Theoretical computer science Formal methods L4 microkernel family Microkernel Formal verification Isabelle Trusted computing base Gernot Heiser Kernel Computer architecture Software Computing
500	ISSUE 37 \| JULY[removed]INSIDE Queen’s Birthday honours for Dr Terry Percival Add to Reading List Source URL: www.nicta.com.au Language: English - Date: 2015-02-08 20:31:56 Red Lizard Software Formal verification Academia Research University of New South Wales Applied mathematics Open Kernel Labs NICTA Gernot Heiser L4 microkernel family

UPDATE